all: docker plots

pipe: Pipe.hs
	ghc -O2 $< -main-is Pipe -o $@

docker: pipelines.img.gz

pipelines.img.gz: pipe runme
	docker build -t pipelines .
	docker save pipelines >pipelines.img
	gzip -f pipelines.img

plots: plot1.eps plot2.eps

plot1.eps plot2.eps: timings.csv plotme
	tclsh plotme timings.csv

clean: force
	rm -f Pipe.hi Pipe.o pipe plot1 plot2

realclean: clean
	rm -f plot1.eps plot2.eps pipelines.img.gz

force:
